English Equation Editor: translation to other languages